Fix 17725:c0c0f4fa8850: use type paddr_t instead of unsigned long for physcial memory...
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 27 May 2008 09:35:10 +0000 (10:35 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 27 May 2008 09:35:10 +0000 (10:35 +0100)
commit09f9ad2f69d191507aa6e0f417fa73a7a6f817d8
tree7bc7e657ce4c544338271a569ac1f571194d2931
parent91df8a74b6256b8d61973e1e27367ffcab429216
Fix 17725:c0c0f4fa8850: use type paddr_t instead of unsigned long for physcial memory address

Otherwise, the address overflows on PAE system with memory size > 4G.

Signed-off-by: Yang, Xiaowei <xiaowei.yang@intel.com>
xen/arch/x86/setup.c
xen/arch/x86/tboot.c
xen/drivers/passthrough/vtd/iommu.c